From bea8ee1a5ff2bbe04fcc6297db45fac178a5abc9 Mon Sep 17 00:00:00 2001 From: Mukesh Rathor Date: Thu, 13 Mar 2014 14:24:19 +0100 Subject: [PATCH] x86: fix pirq path for pvh Just like hvm, pirq eoi shared page is not there for pvh. pvh should not touch any pv_domain fields. Signed-off-by: Mukesh Rathor --- xen/arch/x86/irq.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/irq.c b/xen/arch/x86/irq.c index db70077e4e..88444bed6f 100644 --- a/xen/arch/x86/irq.c +++ b/xen/arch/x86/irq.c @@ -1068,13 +1068,13 @@ bool_t cpu_has_pending_apic_eoi(void) static inline void set_pirq_eoi(struct domain *d, unsigned int irq) { - if ( !is_hvm_domain(d) && d->arch.pv_domain.pirq_eoi_map ) + if ( is_pv_domain(d) && d->arch.pv_domain.pirq_eoi_map ) set_bit(irq, d->arch.pv_domain.pirq_eoi_map); } static inline void clear_pirq_eoi(struct domain *d, unsigned int irq) { - if ( !is_hvm_domain(d) && d->arch.pv_domain.pirq_eoi_map ) + if ( is_pv_domain(d) && d->arch.pv_domain.pirq_eoi_map ) clear_bit(irq, d->arch.pv_domain.pirq_eoi_map); } -- 2.30.2